]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f0f7165) | patch
workspacesDisplay: add spacing around the workspacesView
authorTim Lunn <tim@feathertop.org>
Wed, 14 Nov 2012 20:50:49 +0000 (07:50 +1100)
committerAdel Gadllah <adel.gadllah@gmail.com>
Wed, 21 Nov 2012 19:02:38 +0000 (20:02 +0100)
commitf63fceb2ea030c1a43a39f0ab9997287e8a3425e
tree714294d385be9bdfa1d6af2712b701ee6a71f45ftree | snapshot
parentf0f7165ab688d6d129ee3cb1c4b2c6fede4d8a7ccommit | diff
workspacesDisplay: add spacing around the workspacesView

On additional monitors the workspacesView takes up the entire monitor
and in some cases windows in overview can end up hard against the
edge of the monitor.

https://bugzilla.gnome.org/show_bug.cgi?id=688133
js/ui/workspacesView.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.